1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
Author: Nourani, Cyrus F.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
Classification :
QA
169
.
N68A4


2. Algebraic recursion theory
Author: Ivanov, Ljubomir Lalov, 2591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
I93


3. Algebraic recursion theory /
Author: L.L. Ivanov ; editor, Dr. J.L. Bell
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Recursion theory
Classification :
QA9
.
6
.
I93
1986


4. Bounded Queries in Recursion Theory
Author: \ William 1. Gasarch, Georgia A. Martin
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Information theory,Computational complexity,کامپیوتر,نظریه اطلاعات,پیچیدگی محاسباتی,a03,a04,a05,a03,a04,a05
Classification :
E-Book
,

5. Bounded Queries in Recursion Theory
Author: by William I. Gasarch, Georgia A. Martin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.

6. Bounded queries in recursion theory
Author: Gasarch, William I.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computational complexity,، Recursion theory
Classification :
QA
267
.
7
.
G3


7. Classical recursion theory: the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Classical recursion theory : the theory of functions and sets of natural numbers
Author: Odifreddi, Piergiorgio, 0591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
O35
1989


9. Complexity, Logic, and Recursion Theory
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATHEMATICS / Applied.,MATHEMATICS / General.

10. Complexity, logic, and recursion theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity. ; Recursion theory. ;

11. Computability theory: An introduction to recursion theory
Author: / Enderton H.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK

12. Computability theory :an introduction to recursion theory
Author: Enderton, Herbert B.
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
E53
2011


13. Computability theory : an introduction to recursion theory
Author: Enderton, Herbert B.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
E53C6


14. Computability theory :an introduction to recursion theory
Author: / Herbert B. Enderton
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Recursion theory
Classification :
511
.
35
E56C
2011


15. Foundations of mathematical system dynamics : the fundamental theory of causal recursion and its application to social science and economics
Author: Aulin, Arvid.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Economics, Mathematical,، Social sciences- Statistical methods
Classification :
HB
135
.
A865
1989


16. Fundamentals of generalized recursion theory
Author: Fitting, Melvin, 2491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
F57
1981


17. Fundamentals of generalized recursion theory
Author: Fitting, Melvin
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
F57
1981


18. General recursion theory
Author: Fenstad, Jens Erik
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
F46
1980


19. General recursion theory : an axiomatic approach
Author: Fenstad, Jens Erik.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
F46


20. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions
Classification :
QA
248
.
5
.
S93
1972

